41. An Introduction to Multivariable Analysis from Vector to Manifold
المؤلف: by Piotr Mikusiński, Michael D. Taylor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Differential equations, Partial.,Global analysis (Mathematics).,Global differential geometry.,Mathematics.
42. An axiomatic approach to geometry
المؤلف: / Francis Borceux
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geometry,Axiomatic set theory,Mathematics,Geometry,History of Mathematical Sciences,Projective Geometry,MATHEMATICS / Geometry / General, bisacsh
رده :
E-BOOK
43. An introduction to Kac-Moody groups over fields /
المؤلف: Timothée Marquis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Buildings (Group theory), Textbooks.,Kac-Moody algebras, Textbooks.,Lie groups, Textbooks.,Linear algebraic groups, Textbooks.,Buildings (Group theory),Group theory and generalizations.,Groups & group theory.,Kac-Moody algebras.,Lie groups.,Linear algebraic groups.,MATHEMATICS-- Algebra-- Intermediate.
رده :
QA252
.
3
.
M37
2018
44. An introduction to symmetry and supersymmetry in quantum field theory /
المؤلف: Jan Lopuszánski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Quantum field theory.,Supersymmetry.,Symmetry (Physics),Champs, théorie quantique des.,Kwantumveldentheorie.,Quantenfeldtheorie,Quantum field theory.,SCIENCE-- Waves & Wave Mechanics.,Supersymétrie.,Supersymmetrie,Supersymmetrie.,Supersymmetry.,Symétrie (Physique),Symmetrie,Symmetry (Physics)
رده :
QC174
.
17
.
S9
L66
1991eb
45. An introduction to the language of mathematics /
المؤلف: Frédéric Mynard.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.
رده :
QA9
.
54
46. An invitation to applied category theory :
المؤلف: Brendan Fong, David I. Spivak.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
47. An invitation to general algebra and universal constructions
المؤلف: / George M. Bergman.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Algebra.,Associative rings.
رده :
QA3
.
A5B36
2015
48. Analytic quotients : theory of liftings for quotients over analytic ideals on the integers
المؤلف: Farah, Ilijas, 6691-
المکتبة: (طهران)
موضوع: ، Set theory,، Algebra, Boolean,، Lifting theory
رده :
QA
3
.
A475
no
.
702
49. Applications and Computation of Orthogonal Polynomials :
المؤلف: by Walter Gautschi, Gerhard Opfer, Gene H. Golub.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.
50. Applications and Computation of Orthogonal Polynomials :
المؤلف: by Walter Gautschi, Gerhard Opfer, Gene H. Golub.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.
51. Applications of Category Theory to Fuzzy Subsets
المؤلف: edited by Stephen Ernest Rodabaugh, Erich Peter Klement, Ulrich Höhle.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Geometry.,Mathematics.
52. Applications of process algebra
المؤلف: edited by J.C.M. Baeten
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
53. Applications of process algebra
المؤلف: / edited by J.C.M. Baeten. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Computer network protocols.,Axiomatic set theory.
رده :
QA
,
76
.
9
,.
M35
,
A6
,
1990
54. Applications of process algebra
المؤلف: / J.C.M. Baeten
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
رده :
QA
267
.
A67
2004
55. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes :
المؤلف: edited by Gérard Cohen, Marc Giusti, Teo Mora.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Coding theory.,Computer science.,Data encryption (Computer science)
56. Applied deep learning :
المؤلف: Umberto Michelucci.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Machine learning.,Neural networks (Computer science),Computer programming-- software development.,COMPUTERS-- General.,Databases.,Machine learning.,Neural networks (Computer science),Program concepts-- learning to program.,Programming & scripting languages: general.
رده :
Q325
.
5
57. Asynchronous operators of sequential logic
المؤلف: Vadim Vasyukevich
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Asynchronous circuits-- Design and construction,Logic design,Sequential machine theory,Sequential machine theory -- Mathematical models,Set theory,System analysis
رده :
QA76
.
9
.
L63
V37
2011
58. Asynchronous sequential machine design and analysis
المؤلف: / Richard F. Tinder
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
59. Attainable region theory :
المؤلف: by David Ming, Matthew Metzer, David Glasser, Diane Hildebrandt, Benjamin Glasser
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Chemical reactors-- Design and construction.,Statistical tolerance regions.
رده :
TP157